it must be true that

...是确实的